#define _CRT_SECURE_NO_WARNINGS 1
#include <stdio.h>

int main() {
    int a = 0;
    int sum = 0;
    for (int i = 0; i < 3; i++)
    {
        scanf("%d", &a);
        sum = sum + a;
    }
    if (sum / 3 < 60)
    {
        printf("YES\n");
    }
    else
    {
        printf("NO\n");
    }
    return 0;
}